Quality Assurance of Textual Models within Eclipse using OCL and Model Transformations

Modern software development processes often use domainspecific modeling languages (DSMLs) combined with custom code generators and/or interpreters. Especially textual DSMLs as provided by Eclipse Xtext are becoming more and more popular. As a consequence, software quality assurance frequently leads back to quality assurance of the involved textual models. Here, various quality aspects have to be considered depending on the modeling purpose and domain. In this paper, we present a quality assurance tool set for textual models in Eclipse using several interrelated components like Xtext, EMF Refactor, Henshin and the OCL tools which are all based on the Eclipse Modeling Framework (EMF). The practicability and flexibility of this tool set are demonstrated by the design and implementation of a case study that is based on a textual modeling language for simple web applications named SWM (Simple Web Modeling Language).